Смотреть больше слов в «Большой Советской энциклопедии»
ПРОПОЗИЦИОНАЛЬНАЯ ПЕРЕМЕННАЯ, переменная для высказываний, переменная, область значений к-рой состоит из двух т. н. истинностных значений: "истина" и... смотреть
символ формального языка, служащий для обозначения произвольного высказывания. C. К. Соболев.